1.
Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010...
by Leavens, Gary T., O'Hearn, ...
ISBN: 9783642150562
List Price: $72.00
2.
Foundations of Component-Based Systems
by Leavens, Gary T., Sitaraman...
ISBN: 9780521155694
List Price: $39.99
3.
Foundations of Component-Based Systems
by Leavens, Gary T., Sitaraman...
ISBN: 9780521771641
List Price: $79.00
4.
Proceedings of the Modularity'15 Workshop on Foundations of Aspect-Oriented Languages
by Leavens, Gary T.
ISBN: 9781450333597
List Price: $99.00
OUT OF STOCK
See Availability on Amazon5.
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages
by Leavens, Gary T.
ISBN: 9781450327985
List Price: $99.00
OUT OF STOCK
See Availability on Amazon6.
Proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections ...
by Leavens, Gary T.
ISBN: 9781450315623
List Price: $99.00
OUT OF STOCK
See Availability on Amazon7.
Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications : Softwar...
by Leavens, Gary T.
ISBN: 9781450315630
List Price: $99.00
OUT OF STOCK
See Availability on Amazon9.
Proceedings of the ACM International Conference on Object Oriented Programming Systems Langu...
by Leavens, Gary T.
ISBN: 9781450315616
List Price: $99.00
OUT OF STOCK
See Availability on Amazon10.
Fool'12 : 19th International Workshop on Foundations of Object-Oriented Languages
by Leavens, Gary T.
ISBN: 9781450318365
List Price: $99.00
OUT OF STOCK
See Availability on Amazon11.
Neo4j'12 : A Programmatic Introduction to Neo4j
by Leavens, Gary T.
ISBN: 9781450318372
List Price: $99.00
OUT OF STOCK
See Availability on Amazon13.
Dci'12 : Data-Context-Interaction Paradigm Workshop
by Leavens, Gary T.
ISBN: 9781450318396
List Price: $99.00